[next] [prev] [prev-tail] [tail] [up]

Integrals 101 to 200

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

153 153 76 168 1619 405 0 0 0

N.S.

1 1.00 0.50 1.10 10.58 2.65 0.00 0.00 0.00

time (sec)

N/A 0.147 1.067 30.572 0.460 0.334 0.000 0.000 0.000

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

190 190 87 172 1356 467 0 0 0

N.S.

1 1.00 0.46 0.91 7.14 2.46 0.00 0.00 0.00

time (sec)

N/A 0.507 0.564 2.313 0.427 0.339 0.000 0.000 0.000

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

139 139 72 136 710 420 0 0 0

N.S.

1 1.00 0.52 0.98 5.11 3.02 0.00 0.00 0.00

time (sec)

N/A 0.365 0.309 2.237 0.398 0.341 0.000 0.000 0.000

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

152 152 69 155 0 0 0 0 0

N.S.

1 1.00 0.45 1.02 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.144 0.371 2.292 0.000 0.000 0.000 0.000 0.000

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 96 65 191 0 442 0 0 0

N.S.

1 1.00 0.68 1.99 0.00 4.60 0.00 0.00 0.00

time (sec)

N/A 0.239 0.613 2.231 0.000 0.335 0.000 0.000 0.000

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 100 76 240 139 0 0 0 0

N.S.

1 1.00 0.76 2.40 1.39 0.00 0.00 0.00 0.00

time (sec)

N/A 0.240 1.032 2.008 0.298 0.000 0.000 0.000 0.000

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B F F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

148 148 96 262 3738 0 0 0 0

N.S.

1 1.00 0.65 1.77 25.26 0.00 0.00 0.00 0.00

time (sec)

N/A 0.383 2.350 2.204 1.851 0.000 0.000 0.000 0.000

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B F F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

194 194 106 284 6134 0 0 0 0

N.S.

1 1.00 0.55 1.46 31.62 0.00 0.00 0.00 0.00

time (sec)

N/A 0.493 5.090 2.448 11.568 0.000 0.000 0.000 0.000

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B F F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

244 244 120 306 9150 0 0 0 0

N.S.

1 1.00 0.49 1.25 37.50 0.00 0.00 0.00 0.00

time (sec)

N/A 0.677 5.508 2.431 70.100 0.000 0.000 0.000 0.000

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

204 204 83 166 0 0 0 0 0

N.S.

1 1.00 0.41 0.81 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.166 1.906 2.118 0.000 0.000 0.000 0.000 0.000

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

151 151 69 146 0 0 0 0 0

N.S.

1 1.00 0.46 0.97 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.157 0.543 2.128 0.000 0.000 0.000 0.000 0.000

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 102 61 85 60 0 0 0 0

N.S.

1 1.00 0.60 0.83 0.59 0.00 0.00 0.00 0.00

time (sec)

N/A 0.137 0.364 2.021 0.369 0.000 0.000 0.000 0.000

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 49 57 52 34 0 0 36 0

N.S.

1 1.00 1.16 1.06 0.69 0.00 0.00 0.73 0.00

time (sec)

N/A 0.107 0.268 2.099 0.300 0.000 0.000 1.094 0.000

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 46 54 81 39 272 0 67 0

N.S.

1 1.00 1.17 1.76 0.85 5.91 0.00 1.46 0.00

time (sec)

N/A 0.121 0.325 1.981 0.360 0.432 0.000 1.196 0.000

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B F F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

168 217 89 151 818 0 0 106 0

N.S.

1 1.29 0.53 0.90 4.87 0.00 0.00 0.63 0.00

time (sec)

N/A 0.175 0.606 1.993 0.400 0.000 0.000 1.884 0.000

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B F F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

274 274 101 240 2206 0 0 141 0

N.S.

1 1.00 0.37 0.88 8.05 0.00 0.00 0.51 0.00

time (sec)

N/A 0.183 1.599 2.336 0.520 0.000 0.000 1.704 0.000

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B F F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

215 215 97 233 2393 0 0 0 0

N.S.

1 1.00 0.45 1.08 11.13 0.00 0.00 0.00 0.00

time (sec)

N/A 0.168 2.007 2.307 0.531 0.000 0.000 0.000 0.000

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 96 65 219 0 453 0 0 0

N.S.

1 1.00 0.68 2.28 0.00 4.72 0.00 0.00 0.00

time (sec)

N/A 0.235 0.555 1.958 0.000 0.342 0.000 0.000 0.000

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 98 80 97 70 0 0 73 0

N.S.

1 1.00 0.82 0.99 0.71 0.00 0.00 0.74 0.00

time (sec)

N/A 0.235 0.574 1.926 0.313 0.000 0.000 1.341 0.000

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B F F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 94 75 94 395 0 0 83 0

N.S.

1 1.00 0.80 1.00 4.20 0.00 0.00 0.88 0.00

time (sec)

N/A 0.236 0.262 2.344 0.371 0.000 0.000 1.249 0.000

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B F F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

215 215 108 136 818 0 0 99 0

N.S.

1 1.00 0.50 0.63 3.80 0.00 0.00 0.46 0.00

time (sec)

N/A 0.181 0.339 2.036 0.394 0.000 0.000 1.858 0.000

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 101 72 157 486 492 0 149 0

N.S.

1 1.00 0.71 1.55 4.81 4.87 0.00 1.48 0.00

time (sec)

N/A 0.133 0.463 2.263 0.379 0.489 0.000 2.156 0.000

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B F F(-1) A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

347 347 118 262 4272 0 0 185 0

N.S.

1 1.00 0.34 0.76 12.31 0.00 0.00 0.53 0.00

time (sec)

N/A 0.222 0.991 1.999 1.882 0.000 0.000 1.987 0.000

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F F(-1) A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

220 220 85 216 0 0 0 93 0

N.S.

1 1.00 0.39 0.98 0.00 0.00 0.00 0.42 0.00

time (sec)

N/A 0.168 1.780 2.362 0.000 0.000 0.000 1.461 0.000

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 98 79 142 102 0 0 75 0

N.S.

1 1.00 0.81 1.45 1.04 0.00 0.00 0.77 0.00

time (sec)

N/A 0.231 0.725 1.956 0.313 0.000 0.000 1.664 0.000

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B F F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

144 144 86 154 1786 0 0 111 0

N.S.

1 1.00 0.60 1.07 12.40 0.00 0.00 0.77 0.00

time (sec)

N/A 0.389 0.591 2.242 0.509 0.000 0.000 1.615 0.000

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B F F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 140 89 129 1165 0 0 124 0

N.S.

1 1.00 0.64 0.92 8.32 0.00 0.00 0.89 0.00

time (sec)

N/A 0.384 0.416 2.077 0.486 0.000 0.000 1.461 0.000

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B F F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

270 270 101 195 2206 0 0 77 0

N.S.

1 1.00 0.37 0.72 8.17 0.00 0.00 0.29 0.00

time (sec)

N/A 0.195 1.016 2.516 0.507 0.000 0.000 1.679 0.000

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B F F(-1) A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

345 345 118 262 4272 0 0 193 0

N.S.

1 1.00 0.34 0.76 12.38 0.00 0.00 0.56 0.00

time (sec)

N/A 0.212 0.894 2.262 1.898 0.000 0.000 1.997 0.000

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

151 151 84 222 1386 564 0 228 0

N.S.

1 1.00 0.56 1.47 9.18 3.74 0.00 1.51 0.00

time (sec)

N/A 0.171 0.749 2.317 0.499 0.635 0.000 1.863 0.000

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

92 92 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.115 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

109 109 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.145 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

101 101 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.122 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

101 101 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.126 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

99 99 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.093 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

99 99 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.117 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

101 101 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.120 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

172 172 101 0 0 0 0 0 0

N.S.

1 1.00 0.59 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.184 0.601 0.000 0.000 0.000 0.000 0.000 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

119 119 96 0 0 0 0 0 0

N.S.

1 1.00 0.81 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.197 0.539 0.000 0.000 0.000 0.000 0.000 0.000

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

68 68 69 0 0 0 0 0 0

N.S.

1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.103 0.350 0.000 0.000 0.000 0.000 0.000 0.000

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

139 139 94 0 0 0 0 0 0

N.S.

1 1.00 0.68 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.144 0.360 0.000 0.000 0.000 0.000 0.000 0.000

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

205 205 122 0 0 0 0 0 0

N.S.

1 1.00 0.60 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.205 0.399 0.000 0.000 0.000 0.000 0.000 0.000

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 91 133 136 0 293 0 0 0

N.S.

1 1.00 1.46 1.49 0.00 3.22 0.00 0.00 0.00

time (sec)

N/A 0.100 1.001 1.822 0.000 0.346 0.000 0.000 0.000

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

231 231 810 257 0 0 0 0 0

N.S.

1 1.00 3.51 1.11 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.302 34.066 8.246 0.000 0.000 0.000 0.000 0.000

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

225 225 178 247 0 0 0 0 0

N.S.

1 1.00 0.79 1.10 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.370 7.529 5.050 0.000 0.000 0.000 0.000 0.000

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

319 319 182 287 0 0 0 0 0

N.S.

1 1.00 0.57 0.90 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.522 8.235 7.295 0.000 0.000 0.000 0.000 0.000

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

271 271 229 300 0 472 0 0 0

N.S.

1 1.00 0.85 1.11 0.00 1.74 0.00 0.00 0.00

time (sec)

N/A 0.231 8.411 6.826 0.000 0.302 0.000 0.000 0.000

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

205 205 192 223 0 392 0 0 0

N.S.

1 1.00 0.94 1.09 0.00 1.91 0.00 0.00 0.00

time (sec)

N/A 0.175 9.191 4.842 0.000 0.283 0.000 0.000 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

144 144 444 159 0 320 0 0 0

N.S.

1 1.00 3.08 1.10 0.00 2.22 0.00 0.00 0.00

time (sec)

N/A 0.143 6.983 4.575 0.000 0.277 0.000 0.000 0.000

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 66 76 96 147 235 0 0 0

N.S.

1 1.00 1.15 1.45 2.23 3.56 0.00 0.00 0.00

time (sec)

N/A 0.105 0.419 4.244 0.341 0.280 0.000 0.000 0.000

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

105 105 144 499 0 669 0 0 0

N.S.

1 1.00 1.37 4.75 0.00 6.37 0.00 0.00 0.00

time (sec)

N/A 0.283 2.893 15.146 0.000 0.497 0.000 0.000 0.000

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

219 219 244 38052 0 1413 0 0 0

N.S.

1 1.00 1.11 173.75 0.00 6.45 0.00 0.00 0.00

time (sec)

N/A 0.274 5.179 15.518 0.000 1.574 0.000 0.000 0.000

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) B F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

287 287 311 76269 0 2368 0 0 0

N.S.

1 1.00 1.08 265.75 0.00 8.25 0.00 0.00 0.00

time (sec)

N/A 0.370 7.574 17.656 0.000 4.365 0.000 0.000 0.000

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

241 241 219 297 0 482 0 0 0

N.S.

1 1.00 0.91 1.23 0.00 2.00 0.00 0.00 0.00

time (sec)

N/A 0.252 3.630 6.620 0.000 0.309 0.000 0.000 0.000

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

176 176 145 232 0 398 0 0 0

N.S.

1 1.00 0.82 1.32 0.00 2.26 0.00 0.00 0.00

time (sec)

N/A 0.175 1.515 4.699 0.000 0.278 0.000 0.000 0.000

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 105 102 206 998 316 0 0 0

N.S.

1 1.00 0.97 1.96 9.50 3.01 0.00 0.00 0.00

time (sec)

N/A 0.190 0.597 1.460 0.394 0.273 0.000 0.000 0.000

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

110 110 135 840 0 731 0 0 0

N.S.

1 1.00 1.23 7.64 0.00 6.65 0.00 0.00 0.00

time (sec)

N/A 0.312 0.865 14.277 0.000 0.908 0.000 0.000 0.000

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) A F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

229 229 293 25448 0 1640 0 0 0

N.S.

1 1.00 1.28 111.13 0.00 7.16 0.00 0.00 0.00

time (sec)

N/A 0.287 4.742 15.931 0.000 4.126 0.000 0.000 0.000

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) B F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

310 310 359 55536 0 2729 0 0 0

N.S.

1 1.00 1.16 179.15 0.00 8.80 0.00 0.00 0.00

time (sec)

N/A 0.439 5.862 16.912 0.000 11.665 0.000 0.000 0.000

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-1) A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

336 336 286 367 0 620 0 0 0

N.S.

1 1.00 0.85 1.09 0.00 1.85 0.00 0.00 0.00

time (sec)

N/A 0.247 4.731 90.860 0.000 0.314 0.000 0.000 0.000

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

258 258 191 280 0 500 0 0 0

N.S.

1 1.00 0.74 1.09 0.00 1.94 0.00 0.00 0.00

time (sec)

N/A 0.199 2.398 21.676 0.000 0.295 0.000 0.000 0.000

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

142 142 128 211 1396 390 0 0 0

N.S.

1 1.00 0.90 1.49 9.83 2.75 0.00 0.00 0.00

time (sec)

N/A 0.272 0.905 7.703 0.429 0.306 0.000 0.000 0.000

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

203 203 343 1402 0 1140 0 0 0

N.S.

1 1.00 1.69 6.91 0.00 5.62 0.00 0.00 0.00

time (sec)

N/A 0.252 5.708 23.447 0.000 2.927 0.000 0.000 0.000

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) A F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

329 329 280 20138 0 2031 0 0 0

N.S.

1 1.00 0.85 61.21 0.00 6.17 0.00 0.00 0.00

time (sec)

N/A 0.396 3.260 53.694 0.000 13.167 0.000 0.000 0.000

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) A F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

536 536 551 42563 0 3351 0 0 0

N.S.

1 1.00 1.03 79.41 0.00 6.25 0.00 0.00 0.00

time (sec)

N/A 0.601 9.973 235.817 0.000 22.582 0.000 0.000 0.000

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F F(-2) F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

258 258 787 509 0 619 0 0 0

N.S.

1 1.00 3.05 1.97 0.00 2.40 0.00 0.00 0.00

time (sec)

N/A 0.246 8.070 5.597 0.000 7.795 0.000 0.000 0.000

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F F(-2) F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

183 183 295 348 0 481 0 0 0

N.S.

1 1.00 1.61 1.90 0.00 2.63 0.00 0.00 0.00

time (sec)

N/A 0.190 2.729 5.114 0.000 1.961 0.000 0.000 0.000

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B C A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 91 92 203 699 314 0 0 0

N.S.

1 1.00 1.01 2.23 7.68 3.45 0.00 0.00 0.00

time (sec)

N/A 0.125 0.537 2.401 0.598 0.685 0.000 0.000 0.000

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F F(-2) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

166 166 243 659 0 1050 0 0 0

N.S.

1 1.00 1.46 3.97 0.00 6.33 0.00 0.00 0.00

time (sec)

N/A 0.437 3.439 15.288 0.000 10.595 0.000 0.000 0.000

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F F(-2) F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

416 416 337 54030 0 2508 0 0 0

N.S.

1 1.00 0.81 129.88 0.00 6.03 0.00 0.00 0.00

time (sec)

N/A 0.485 11.361 16.575 0.000 108.960 0.000 0.000 0.000

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F(-1) F F(-2) F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

653 653 2940 97277 0 0 0 0 0

N.S.

1 1.00 4.50 148.97 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.763 22.452 18.669 0.000 0.000 0.000 0.000 0.000

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F F(-2) F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

324 324 856 587 0 701 0 0 0

N.S.

1 1.00 2.64 1.81 0.00 2.16 0.00 0.00 0.00

time (sec)

N/A 0.272 8.094 6.055 0.000 14.300 0.000 0.000 0.000

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F(-2) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

290 290 177 389 0 620 0 0 0

N.S.

1 1.00 0.61 1.34 0.00 2.14 0.00 0.00 0.00

time (sec)

N/A 0.256 5.217 3.462 0.000 6.467 0.000 0.000 0.000

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

127 127 230 289 0 548 0 0 0

N.S.

1 1.00 1.81 2.28 0.00 4.31 0.00 0.00 0.00

time (sec)

N/A 0.215 2.454 3.022 0.000 1.879 0.000 0.000 0.000

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F F(-2) F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

394 394 302 1419 0 2033 0 0 0

N.S.

1 1.00 0.77 3.60 0.00 5.16 0.00 0.00 0.00

time (sec)

N/A 0.397 6.105 16.332 0.000 215.922 0.000 0.000 0.000

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F(-1) F F(-2) F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

560 560 470 69595 0 0 0 0 0

N.S.

1 1.00 0.84 124.28 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.635 11.849 17.956 0.000 0.000 0.000 0.000 0.000

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F(-1) F F(-2) F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

802 802 2632 117747 0 0 0 0 0

N.S.

1 1.00 3.28 146.82 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.945 18.761 21.104 0.000 0.000 0.000 0.000 0.000

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-1) A F F(-2) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

480 480 436 688 0 880 0 0 0

N.S.

1 1.00 0.91 1.43 0.00 1.83 0.00 0.00 0.00

time (sec)

N/A 0.395 9.677 4.859 0.000 30.821 0.000 0.000 0.000

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F(-2) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

468 468 262 523 0 782 0 0 0

N.S.

1 1.00 0.56 1.12 0.00 1.67 0.00 0.00 0.00

time (sec)

N/A 0.332 6.250 4.484 0.000 13.489 0.000 0.000 0.000

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F B F F(-2) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

164 164 343 376 0 670 0 0 0

N.S.

1 1.00 2.09 2.29 0.00 4.09 0.00 0.00 0.00

time (sec)

N/A 0.321 7.472 2.893 0.000 3.610 0.000 0.000 0.000

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F(-1) F F(-2) F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

592 592 360 2345 0 0 0 0 0

N.S.

1 1.00 0.61 3.96 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.549 11.406 16.762 0.000 0.000 0.000 0.000 0.000

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) F(-1) F F(-2) F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

756 756 465 85544 0 0 0 0 0

N.S.

1 1.00 0.62 113.15 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.748 13.651 20.180 0.000 0.000 0.000 0.000 0.000

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F(-1) F F(-2) F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

999 999 2904 139613 0 0 0 0 0

N.S.

1 1.00 2.91 139.75 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.503 22.075 23.723 0.000 0.000 0.000 0.000 0.000

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

123 123 240 1496 0 806 0 0 0

N.S.

1 1.00 1.95 12.16 0.00 6.55 0.00 0.00 0.00

time (sec)

N/A 0.415 14.890 4.998 0.000 0.499 0.000 0.000 0.000

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 102 166 0 206 0 0 0

N.S.

1 1.00 1.67 2.72 0.00 3.38 0.00 0.00 0.00

time (sec)

N/A 0.165 0.687 2.899 0.000 0.338 0.000 0.000 0.000

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

111 111 135 609 0 517 0 0 0

N.S.

1 1.00 1.22 5.49 0.00 4.66 0.00 0.00 0.00

time (sec)

N/A 0.608 1.161 2.847 0.000 0.358 0.000 0.000 0.000

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) A F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

141 141 184 423 0 883 0 0 0

N.S.

1 1.00 1.30 3.00 0.00 6.26 0.00 0.00 0.00

time (sec)

N/A 0.617 13.066 2.717 0.000 0.575 0.000 0.000 0.000

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

141 141 171 367 0 913 0 0 0

N.S.

1 1.00 1.21 2.60 0.00 6.48 0.00 0.00 0.00

time (sec)

N/A 0.565 0.820 2.501 0.000 0.915 0.000 0.000 0.000

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 67 68 73 0 250 0 274 573

N.S.

1 1.00 1.01 1.09 0.00 3.73 0.00 4.09 8.55

time (sec)

N/A 0.189 0.201 0.541 0.000 0.280 0.000 0.326 15.629

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 123 155 168 0 561 0 201 3763

N.S.

1 1.00 1.26 1.37 0.00 4.56 0.00 1.63 30.59

time (sec)

N/A 0.318 1.065 0.634 0.000 0.306 0.000 0.299 22.207

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

204 204 267 287 0 1152 0 457 6909

N.S.

1 1.00 1.31 1.41 0.00 5.65 0.00 2.24 33.87

time (sec)

N/A 0.623 1.818 0.921 0.000 0.343 0.000 0.367 24.046

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 133 136 195 0 671 0 237 4934

N.S.

1 1.00 1.02 1.47 0.00 5.05 0.00 1.78 37.10

time (sec)

N/A 0.356 1.321 0.623 0.000 0.316 0.000 0.317 22.898

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

237 237 493 386 0 1409 0 658 8682

N.S.

1 1.00 2.08 1.63 0.00 5.95 0.00 2.78 36.63

time (sec)

N/A 0.944 2.694 1.008 0.000 0.360 0.000 0.396 24.417

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

377 377 438 635 0 2362 0 1201 12818

N.S.

1 1.00 1.16 1.68 0.00 6.27 0.00 3.19 34.00

time (sec)

N/A 2.798 4.424 1.095 0.000 0.450 0.000 0.395 27.000

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

254 254 517 458 0 1629 0 818 10759

N.S.

1 1.00 2.04 1.80 0.00 6.41 0.00 3.22 42.36

time (sec)

N/A 1.338 2.247 1.186 0.000 0.404 0.000 0.409 27.042

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

412 412 459 785 0 2776 0 1572 15647

N.S.

1 1.00 1.11 1.91 0.00 6.74 0.00 3.82 37.98

time (sec)

N/A 1.250 5.386 1.335 0.000 0.479 0.000 0.427 28.485

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

622 622 668 1345 0 4346 0 3173 21021

N.S.

1 1.00 1.07 2.16 0.00 6.99 0.00 5.10 33.80

time (sec)

N/A 2.703 9.725 2.379 0.000 0.688 0.000 0.552 28.964

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

320 320 379 1249 0 0 0 0 0

N.S.

1 1.00 1.18 3.90 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.320 10.202 20.479 0.000 0.000 0.000 0.000 0.000

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

220 220 225 400 0 0 0 0 0

N.S.

1 1.00 1.02 1.82 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.282 8.253 6.164 0.000 0.000 0.000 0.000 0.000

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

380 380 6063 2984 0 0 0 0 0

N.S.

1 1.00 15.96 7.85 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.710 23.573 24.793 0.000 0.000 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]